partial functor

[数] 部分函子